Duc-Khanh Tran And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002815 | Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie] | Automatic decidability and combinability |
| 004C89 | Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Combining Proof-Producing Decision Procedures |
| 004D00 | Christopher Lynch [États-Unis] ; Duc-Khanh Tran [France] | Automatic Decidability and Combinability Revisited |
| 005528 | Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005E25 | Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | On Superposition-Based Satisfiability Procedures and their Combination |
| 006225 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
| 006912 | Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Nelson-Oppen, Shostak and the Extended Canonizer : A Family Picture with a Newborn |
| 007410 | Duc-Khanh Tran | Coopération de procédures de décision : étude et implantation |
| 007C95 | Duc-Khanh Tran [France] | Coopération de procédures de décision : étude et implantation |
| This area was generated with Dilib version V0.6.33. |  |